Lemma 3.2.7

If and are unital -algebras, and if are mutually orthogonal -homomorphisms, then is a -homomorphism and further, .